Une CNS pour l'acheminement de messages instantanément stabilisant

Un algorithme instantanément stabilisant assure qu’il se comporte toujours conformément à ses spécifications en partant d’une configuration initiale quelconque. Dans cet article, nous nous intéressons au problème de l’acheminement de messages dans un réseau doté d’une commutation de messages. Nous devons gérer les ressources du réseau de manière à pouvoir délivrer des messages à tout processeur du réseau. Dans ce but, nous utilisons l’information fournie par un algorithme de routage. Mais, en raison du contexte de la stabilisation, cette information peut être initialement incorrecte. C’est pourquoi l’existence d’algorithmes instantanément stabilisants pour cette tâche (démontrée dans [CDV09]) implique que nous pouvons demander au système de commencer à acheminer des messages même si les tables de routage sont initialement corrompues. Dans cet article, nous généralisons le résultat précédent en donnant une condition nécessaire et suffisante pour résoudre ce problème de manière instantanément stabilisante.